Implementation of a High-Level Hardware Verification System using Truss
نویسندگان
چکیده
The implementation of a high-level hardware verification system using Truss is presented in this paper. Teal is a C++ class library for functional verification and enables functional verification by providing connections to HDL signals and allowing actions based on changes in the HDL simulation. Truss is an implementation of an open-source verification infrastructure based on layer approach through object-oriented programming techniques. The functional verification is performed on a simple device-under-test, the transposed FIR filter. The FIR filter which processes convolution sum is a typical operation being involved in various applications regarding DSP.
منابع مشابه
طراحی و ساخت یک سیستم تشخیص خواب آلودگی راننده مبتنی بر پردازشگر سیگنال TMS320C5509A
Every year, many people lose their lives in road traffic accidents while driving vehicles throughout the world. Providing secure driving conditions highly reduces road traffic accidents and their associated death rates. Fatigue and drowsiness are two major causes of death in these accidents; therefore, early detection of driver drowsiness can greatly reduce such accidents. Results of NTSB inves...
متن کاملVerifying Compiler Based Refinement of Bluespec Specifications using the SPIN Model Checker
The underlying model of computation for PROMELA is based on interacting processes with asynchronous communication, and hence SPIN has been mainly used as a verification engine for concurrent software systems. On the other hand, hardware verification has mostly focused on clock synchronous register-transfer level (RTL) models. As a result, verification tools such as SMV which are based on synchr...
متن کاملFPGA Implementation of JPEG and JPEG2000-Based Dynamic Partial Reconfiguration on SOC for Remote Sensing Satellite On-Board Processing
This paper presents the design procedure and implementation results of a proposed hardware which performs different satellite Image compressions using FPGA Xilinx board. First, the method is described and then VHDL code is written and synthesized by ISE software of Xilinx Company. The results show that it is easy and useful to design, develop and implement the hardware image compressor using ne...
متن کاملImplementation of a Functional Verification System using SystemC
The implementation of a functional verification system using SystemC, system-level design language, is presented in this paper. SystemC is used in system-level design methodology because of the capability of system architectural model description and hardware/software design. The implemented verification system, which consists of various SystemC modules, in this paper can explore design space u...
متن کاملControl Simulation and Experimental Verification of Maximum Power Point Tracking Based on RT-LAB (TECHNICAL NOTE)
The maximum power point tracking (MPPT) control in the Photovoltaic system is the key control technology, however present controller has the disadvantages of long development cycle, high cost and complex verification, and there are some disadvantages carrying out totally physical simulation or totally digital simulation of different control algorithms. This paper carried out design of hardware ...
متن کامل